Formal grammar - PDFSEARCH.IO - Document Search Engine

Formal grammar
Results: 748

#	Item
191	EVALUATORS FOR ATTRIBUTE GRAMMARS by Ralph Charles Merkle Add to Reading List Source URL: www.merkle.com Language: English - Date: 2010-09-09 17:54:39 Software engineering Computing Attribute grammar Formal grammar Parsing SYNTAX Context-free grammar Semantics of programming languages Van Wijngaarden grammar Formal languages Compiler construction Programming language implementation
192	Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking by Bryan Ford Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: bford.info Language: English - Date: 2010-09-29 09:18:52 Software engineering Computing Compiler construction Parsing expression grammar Syntactic predicate Top-down parsing LL parser Recursive descent parser Bottom-up parsing Formal languages Programming language implementation Parsing
193	Semantic Parsing via Paraphrasing Jonathan Berant Stanford University 1 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-04-11 22:58:26 Formal languages Algebraic logic Philosophical logic Boolean algebra Formal grammar Entailment Semantics Model theory Function Logic Mathematics Metalogic
194	OMeta: an Object-Oriented Language for Pattern Matching ∗ Alessandro Warth Ian Piumarta Computer Science Department Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Computing Programming language implementation Syntactic predicate Parsing expression grammar LL parser Viewpoints Research Institute Scannerless parsing Compiler-compiler COLA Formal languages Software engineering Parsing
195	THE ABC NEWSLETTER ISSN © CWI, AmsterdamAll rights reserved 8 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-05 10:34:25 Classes of computers Formal grammar Zork Terminal and nonterminal symbols ALGOL 68 Blissymbols Formal languages Computing Software
196	Parsing with Treebank Grammars: Empirical Bounds, Theoretical Models, and the Structure of the Penn Treebank Dan Klein and Christopher D. Manning Computer Science Department Stanford University Stanford, CA Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2001-05-28 19:28:08 Science Grammar Treebank Chart parser Parsing Bottom-up parsing Stochastic context-free grammar Formal grammar Context-free grammar Formal languages Linguistics Compiler construction
197	What counts as useful, relevant data? An I-Language perspective Carson Schütze Linguistics Department, University of California, Los Angeles In this talk I strive to address the title question of the workshop from the p Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2006-11-03 10:10:46 Academia Grammar Ceteris paribus Generative grammar Grammaticality Noam Chomsky Generative Formal grammar Transformational grammar Linguistics Generative linguistics Science
198	The Starring Role of Quantifiers in the History of Formal Semantics Barbara H. Partee. Abstract The history of formal semantics is a history of evolving ideas about logical form, linguistic form, and the nature of semant Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2013-01-08 16:19:32 Science Philosophy of language Formal languages Quantification Grammar Intensional logic Generalized quantifier Mathematical logic First-order logic Logic Semantics Linguistics
199	HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars ADAM KIEZUN, Brigham and Women’s Hospital / Harvard Medical School VIJAY GANESH, Massachusetts Institute of Technology SHA Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Theoretical computer science SQL injection SQL Hampi Context-free grammar String Constraint programming Boolean satisfiability problem Formal grammar Formal languages Computing Software engineering
200	Formalizing Semantics with an Automatic Program Verifier? Martin Clochard1,2,3 , Jean-Christophe Filliˆatre2,3 , Claude March´e3,2 , and Andrei Paskevich2,3 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-28 14:20:41 Theoretical computer science Formal languages Parsing Recursion Model theory Attribute grammar First-order logic Map Continuation-passing style Software engineering Computing Computer programming

UPDATE